d-Variate Boolean interpolation
نویسندگان
چکیده
منابع مشابه
An optimal randomized algorithm for d-variate zonoid depth
A randomized linear expected-time algorithm for computing the zonoid depth (Dyckerhoff et al 1996, Mosler 2002) of a point with respect to a fixed dimensional point set is presented.
متن کاملGeneralized Craig Interpolation for Stochastic Boolean Satisfiability Problems
The stochastic Boolean satisfiability (SSAT) problem has been introduced by Papadimitriou in 1985 when adding a probabilistic model of uncertainty to propositional satisfiability through randomized quantification. SSAT has many applications, among them bounded model checking (BMC) of symbolically represented Markov decision processes. This paper identifies a notion of Craig interpolant for the ...
متن کاملD-homomorphisms and atomic ±complete boolean D-posets
We study observables as r-D-homomorphisms de®ned on Boolean D-posets of subsets into a Boolean Dposet. We show that given an atomic r-complete Boolean D-poset P with the countable set of atoms there exist a r-complete Boolean D-poset of subsets S and a r-D-homomorphism h from S onto P, more precisely we can choose S B R, which gives an analogy of the Loomis± Sikorski representation theorem f...
متن کاملOmega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملIdeal Interpolation: Mourrain’s Condition Vs D-invariance
Mourrain [Mo] characterizes those linear projectors on a finite-dimensional polynomial space that can be extended to an ideal projector, i.e., a projector on polynomials whose kernel is an ideal. This is important in the construction of normal form algorithms for a polynomial ideal. Mourrain’s characterization requires the polynomial space to be ‘connected to 1’, a condition that is implied by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Approximation Theory
سال: 1982
ISSN: 0021-9045
DOI: 10.1016/0021-9045(82)90085-5